es{-}LnkTag{-}deq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$product{-}deq(IdLnk;Id;IdLnkDeq;IdDeq)